Task Learning through Visual Demonstration and Situated Dialogue Changsong Liu and Joyce Y. Chai Nishant Shukla and Song-Chun Zhu Department of Computer Science and Engineering Center for Vision, Cognition, Learning and

Source URL: shukla.io

• Learning
• Humancomputer interaction
• Cognition
• Machine learning
• Multimodal interaction
• User interfaces
• Graphical model
• Artificial intelligence
• Robot learning
• Natural language processing
• Parsing
• Dialogue system

The Unbearable Lightness of Monitoring: Direct Monitoring in BitTorrent Tom Chothia, Marco Cova, Chris Novakovic, and Camilo Gonz´alez Toro School of Computer Science, University of Birmingham, UK Abstract. It is known

Source URL: www.cs.bham.ac.uk

• BitTorrent
• Peer-to-peer file sharing
• File sharing
• Computing
• Comparison of BitTorrent clients
• Torrent file
• The Pirate Bay
• Copyright infringement
• Peer-to-peer
• Peer exchange
• Torrent poisoning

Quantitative Verification and Strategy Synthesis for Stochastic Games M´aria Svoreˇnov´a and Marta Kwiatkowska Abstract— Design and control of computer systems that operate in uncertain, competitive or adversarial,

Source URL: qav.comlab.ox.ac.uk

• Mathematical analysis
• Mathematics
• Measure theory
• Boolean algebra
• Experiment
• Sigma-algebra
• Determinacy
• Stochastic game
• Linear temporal logic
• Markov chain
• Markov decision process

NSADAbstract Domains for Type Juggling Vincenzo Arceri1 Department of Computer Science, University of Verona, Italy

Source URL: www.doc.ic.ac.uk

• Software engineering
• Computing
• Computer programming
• Procedural programming languages
• Programming languages
• Logic in computer science
• Programming language semantics
• Abstract interpretation
• Operational semantics
• ALGOL 68
• Syntax
• Programming language

Probabilistic Point-to-Point Information Leakage Tom Chothia∗ , Yusuke Kawamoto∗ , Chris Novakovic∗ and David Parker∗ ∗ School of Computer Science University of Birmingham, Birmingham, UK Abstract—The output

Source URL: www.cs.bham.ac.uk

• Mathematical analysis
• Mathematics
• Experiment
• Information theory
• Statistical theory
• Measure theory
• Random variable
• Statistical randomness
• Sigma-algebra
• Probability distribution
• Joint probability distribution
• Probability space

EECS 388 Intro to Computer Security September 6, 2016 Homework 1: Rational Paranoia

Source URL: www.eecs.umich.edu

• Security engineering
• Computer security
• Human behavior
• Computer network security
• Data security
• Cryptography
• National security
• Asset
• Threat
• Countermeasure
• Paranoia
• Security

Computer Science Curricula 2013 Curriculum Guidelines for Undergraduate Degree Programs in Computer Science December 20, 2013

Source URL: www.acm.org

• Computer science
• Computing
• Electromagnetism
• Association for Computing Machinery
• IEEE Computer Society
• Software engineering
• Computer
• Fellows of the American Association for the Advancement of Science
• ACM SIGARCH
• Peter J. Denning

Theoretical Computer Science–24 Contents lists available at ScienceDirect Theoretical Computer Science www.elsevier.com/locate/tcs

Source URL: jorgenavas.github.io

• Formal languages
• Mathematics
• Language
• Combinatorics
• Context-free language
• Regular language
• Context-free grammar
• Kleene star
• Regular expression
• Omega-regular language
• Complementation of Bchi automaton

Axiomatic Foundations and Algorithms for Deciding Semantic Equivalences of SQL Queries Shumo Chu, Brendan Murphy, Jared Roesch, Alvin Cheung, Dan Suciu Paul G. Allen School of Computer Science and Engineering University

Source URL: www.vldb.org

For the DISTINCT Clause of SPARQL Queries Medha Atre Dept. of Computer Science and Engineering Indian Institute of Technology, Kanpur, India

Source URL: gdac.uqam.ca

• Graph theory
• Computing
• Resource Description Framework
• Query languages
• Mathematics
• Discrete mathematics
• SPARQL
• FO
• Graph
• Directed graph
• RDFLib